Extracting multiple layers from data having graph structures

Much data such as geometric image data and drawings have graph structures. Such data are called graph structured data. In order to manage efficiently such graph structured data, we need to analyze and abstract graph structures of such data. The purpose of this paper is to find knowledge representations which indicate plural abstractions of graph structured data. Firstly, we introduce a term graph as a graph pattern having structural variables,and a substitution over term graphs which is graph rewriting system. Next,for a graph G,we define a multiple layer (g,（θ1, …,θk)) of G as a pair of a term graph g and a list of 4 substitutionsθ1, …,θk such that G can be obtained from g by applying substitutions θ1, …,θk to g. In the same way,for a set S of graphs, we also define a multiple layer for Sas a pair (D,@) of a set 5 of term graphs and a list 6 of substitutions. Secondly,for a graph G and a set S of graphs,we present effective algorithms for extracting minimal multiple layers of G and S which give us stratifying abstractions of G and S,respectively. Finally,we report experimental results obtained by applying our algorithms to both artificial data and drawings of power plants which are real world data.     

Rough正项几何规划及其算法

在rough集合和rough凸集的基础上,提出了rough值集凸函数的概念,建立了rough正项几何规划的知识表示模型、数学模型.此外,研究了rough正项几何规划的数学模型,以及解决多反而少的"悖论"的rough 正项几何规划的算法,它可以化为一单项rough正项几何规划后再化为一个rough线性规划来求解.最后,通...     

利用工程图学考试检验学生空间思维能力

为强化未来工程师空间几何思维能力，使其在职业生涯中能清晰准确地利用工程图样表达产品。对学生通过工程图学期末考试进行了空间思维能力测验。改变了以往考试题型和答案固定的常规，使试题呈开放性和灵活性。实践结果表明，该工程图学课程在有限学时内打破了传统的输入式教学，对拓展并激发学生的创新思维能力具有现实意义。     

A blind watermarking algorithm resisting to geometric transforms based on SVD

A new watermarking algorithm resisting to geometric transformation based on singular value decomposition(SVD) in logarithm polar coordinate is proposed.The log-polar mapping(LPM) is used to resist rotation and scaling attacks,and the odd-even quantization algorithm is used to embed watermark so it can be extracted without the original host image.The experiments show that the proposed algorithm not only resists various geometric attacks but also is robust enough to the common signal processing.     

关于A-G的几个不等式

为加强或加细几个著名的算术-几何不等式,研究用方差来估算两者的差,并利用一个统一的证明模式,加强或推广这些结果.     

一类含立方项非线性振动微分方程的解析解

依据弹性力作用下系统机械能守恒的原理,求解出一类含有线性项和立方项的非线性微分方程的雅克比椭圆函数型的精确解析解.通过对常见算例的讨论,以及与系统数值解的比较,说明了解析解是有效的.     

几何计算及其理论研究

提出了一种新的几何计算理论.在几何基础层，充分利用笛卡儿创立的坐标几何思想，用几何代数化方法构建二、三维基本的几何代数基（简称几何基)，可利用它的序列建立高一层次的几何基.在几何处理层，用几何方法解决几何问题，寻求几何问题的几何基求解序列.对几何引入方向性，统一几何的表示，简化几何基序列的求解过程.并从理论上探索解决几何奇异问题的完整解决方案，形成一个统一、规范的几何计算体系.由此实现莱布尼茨式的通过几何语言直接处理几何体的宏伟设想.     

一个平均不等式的反向及其类似

在最近的几百年中,关于多个正数的算术平均和几何平均的差的估计,是平均不等式研究中的一个持续热点.本文利用最值压缩定理,给出了算术平均和几何平均的差的两个新的估计,部分地回答了J.M.Aldaz一个公开问题.     

Seiffert平均的一个下界估计

利用指数平均和几何平均的基本性质,证明了指数平均和几何平均的算术平均是Seiffert平均的一个下界,所得结果改进了一些已知的不等式.     

地下矿可视化生产管控系统参数化数据模型

在融合面向实体的数据模型和网络数据模型的基础上,引入参数对象,设计一种网络化、层次化、参数化的实体与网络复合模型(PENDM),解决该系统中RPS的空间数据建模问题,形成以井巷为空间参照的井巷与生产系统整体模型.运用面向对象的思想建立PENDM的主要数据结构.PENDM采用面向实体的元素描述井巷工程和生产系统的实体特征,采用网络元素描述系统内部网络的空间拓扑结构,采用参数描述实体轮廓、定位信息、设备信息和其他附属信息.结合具体应用分析PENDM在地下矿山生产管控系统中的作用.研究结果表明:该模型能够实现复杂生产系统信息管理、空间分析和三维体模型的自动建立,解决了矿山井巷工程与生产系统的表达、自动建模与快速更新以及漫游路径和救避灾路线的求解问题,对于其他(如通风量计算)的需要网络的专业分析同样有效.